[prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 178

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

425 477 1141 0 0 0 0 0 0

N.S.

1 1.12 2.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.312 0.365 0.000 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

518 570 1211 0 0 0 0 0 0

N.S.

1 1.10 2.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.410 2.517 0.000 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

591 663 1447 0 0 0 0 0 0

N.S.

1 1.12 2.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.783 6.340 0.000 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

553 621 1410 0 0 0 0 0 0

N.S.

1 1.12 2.55 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.651 2.936 0.000 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 125 271 271 0 615 0 0 0

N.S.

1 0.90 1.95 1.95 0.00 4.42 0.00 0.00 0.00

time (sec)

N/A 0.327 0.792 6.219 0.000 0.292 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

515 571 1428 0 0 0 0 0 0

N.S.

1 1.11 2.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.510 4.411 0.000 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

756 816 1593 0 0 0 0 0 0

N.S.

1 1.08 2.11 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.646 6.071 0.000 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

719 775 1442 0 0 0 0 0 0

N.S.

1 1.08 2.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.604 2.774 0.000 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

713 769 1437 0 0 0 0 0 0

N.S.

1 1.08 2.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.426 4.777 0.000 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

758 818 1487 0 0 0 0 0 0

N.S.

1 1.08 1.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.557 2.833 0.000 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

694 766 2023 0 0 0 0 0 0

N.S.

1 1.10 2.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.924 7.894 0.000 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 153 375 967 0 1381 0 0 0

N.S.

1 0.92 2.25 5.79 0.00 8.27 0.00 0.00 0.00

time (sec)

N/A 0.366 1.356 7.626 0.000 0.431 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 202 368 916 0 1256 0 0 0

N.S.

1 0.99 1.80 4.47 0.00 6.13 0.00 0.00 0.00

time (sec)

N/A 0.394 0.963 6.258 0.000 0.414 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

657 717 2081 0 0 0 0 0 0

N.S.

1 1.09 3.17 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.728 6.085 0.000 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

1106 1170 2045 0 0 0 0 0 0

N.S.

1 1.06 1.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.054 6.097 0.000 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

1106 1170 2053 0 0 0 0 0 0

N.S.

1 1.06 1.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.074 6.101 0.000 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) F F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

1096 1160 2038 0 0 0 0 0 0

N.S.

1 1.06 1.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.904 6.065 0.000 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

413 374 324 0 0 1951 0 0 0

N.S.

1 0.91 0.78 0.00 0.00 4.72 0.00 0.00 0.00

time (sec)

N/A 1.598 2.204 0.000 0.000 1.491 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

302 273 263 0 0 1625 0 0 0

N.S.

1 0.90 0.87 0.00 0.00 5.38 0.00 0.00 0.00

time (sec)

N/A 0.568 2.541 0.000 0.000 0.747 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

203 186 233 0 0 1342 0 0 0

N.S.

1 0.92 1.15 0.00 0.00 6.61 0.00 0.00 0.00

time (sec)

N/A 0.398 1.998 0.000 0.000 0.457 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.87 1.00 1.17

time (sec)

N/A 0.279 8.125 0.158 0.000 0.251 9.078 0.286 5.959

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.96 1.00 1.17

time (sec)

N/A 0.279 12.765 0.155 0.000 0.261 14.538 0.265 5.781

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 27 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.17 0.96 1.00 1.17

time (sec)

N/A 0.270 10.195 0.167 0.000 0.254 25.628 0.272 5.661

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 20 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.00 0.95 1.00 1.20

time (sec)

N/A 0.215 4.211 0.157 0.000 0.254 6.364 0.279 5.536

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.96 1.00 1.17

time (sec)

N/A 0.268 2.696 0.164 0.000 0.261 7.143 0.267 5.969

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

389 337 237 0 0 275 0 0 0

N.S.

1 0.87 0.61 0.00 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.615 11.029 0.000 0.000 0.108 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

527 447 314 0 0 377 0 0 0

N.S.

1 0.85 0.60 0.00 0.00 0.72 0.00 0.00 0.00

time (sec)

N/A 0.864 11.986 0.000 0.000 0.106 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

384 348 303 0 0 1943 0 0 0

N.S.

1 0.91 0.79 0.00 0.00 5.06 0.00 0.00 0.00

time (sec)

N/A 0.679 2.535 0.000 0.000 1.366 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

270 248 246 0 0 1625 0 0 0

N.S.

1 0.92 0.91 0.00 0.00 6.02 0.00 0.00 0.00

time (sec)

N/A 0.484 2.500 0.000 0.000 0.724 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.87 1.00 1.17

time (sec)

N/A 0.305 9.472 0.164 0.000 0.266 65.481 0.312 5.548

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.303 13.495 0.157 0.000 0.258 62.326 0.279 5.931

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 43 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.87 0.00 1.00 1.17

time (sec)

N/A 0.304 10.481 0.157 0.000 0.249 0.000 0.285 5.850

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 37 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.85 0.95 1.00 1.20

time (sec)

N/A 0.228 5.147 0.151 0.000 0.252 62.908 0.299 6.325

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.283 8.947 0.155 0.000 0.257 57.978 0.285 6.212

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.285 19.194 0.164 0.000 0.261 66.787 0.266 6.316

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

492 417 291 0 0 374 0 0 0

N.S.

1 0.85 0.59 0.00 0.00 0.76 0.00 0.00 0.00

time (sec)

N/A 0.821 12.079 0.000 0.000 0.101 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

643 542 372 0 0 486 0 0 0

N.S.

1 0.84 0.58 0.00 0.00 0.76 0.00 0.00 0.00

time (sec)

N/A 0.980 12.233 0.000 0.000 0.121 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

329 300 281 0 0 1633 0 0 0

N.S.

1 0.91 0.85 0.00 0.00 4.96 0.00 0.00 0.00

time (sec)

N/A 1.377 3.034 0.000 0.000 0.740 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

229 208 236 0 0 1341 0 0 0

N.S.

1 0.91 1.03 0.00 0.00 5.86 0.00 0.00 0.00

time (sec)

N/A 0.496 1.736 0.000 0.000 0.466 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 131 108 0 0 1064 0 0 0

N.S.

1 0.97 0.80 0.00 0.00 7.88 0.00 0.00 0.00

time (sec)

N/A 0.343 0.611 0.000 0.000 0.339 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 31 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.35 0.87 1.00 1.17

time (sec)

N/A 0.283 1.720 0.202 0.000 0.255 7.469 0.280 5.767

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 33 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.43 0.96 1.00 1.17

time (sec)

N/A 0.305 7.413 0.169 0.000 0.266 28.520 0.292 5.722

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 27 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.17 0.96 1.00 1.17

time (sec)

N/A 0.281 10.027 0.139 0.000 0.260 13.925 0.277 5.792

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 20 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.00 0.95 1.00 1.20

time (sec)

N/A 0.216 1.113 0.159 0.000 0.264 3.109 0.269 5.594

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

294 267 139 0 0 179 0 0 0

N.S.

1 0.91 0.47 0.00 0.00 0.61 0.00 0.00 0.00

time (sec)

N/A 0.529 2.295 0.000 0.000 0.098 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

425 368 239 0 0 274 0 0 0

N.S.

1 0.87 0.56 0.00 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.677 8.290 0.000 0.000 0.103 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

256 235 260 0 0 1719 0 0 0

N.S.

1 0.92 1.02 0.00 0.00 6.71 0.00 0.00 0.00

time (sec)

N/A 1.364 1.841 0.000 0.000 0.439 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

160 155 191 0 0 1274 0 0 0

N.S.

1 0.97 1.19 0.00 0.00 7.96 0.00 0.00 0.00

time (sec)

N/A 0.450 1.473 0.000 0.000 0.350 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 79 0 0 368 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 4.49 0.00 0.00 0.00

time (sec)

N/A 0.302 0.353 0.000 0.000 0.292 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 42 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.83 0.87 1.00 1.17

time (sec)

N/A 0.287 11.181 0.164 0.000 0.263 70.168 0.285 6.047

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 44 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.91 0.00 1.00 1.17

time (sec)

N/A 0.309 14.578 0.160 0.000 0.252 0.000 0.270 5.783

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 47 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.04 0.96 1.00 1.17

time (sec)

N/A 0.282 15.248 0.156 0.000 0.260 134.918 0.293 6.086

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 47 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.04 0.96 1.00 1.17

time (sec)

N/A 0.277 7.676 0.179 0.000 0.263 33.944 0.286 5.461

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 111 113 0 0 127 0 0 0

N.S.

1 1.00 1.02 0.00 0.00 1.14 0.00 0.00 0.00

time (sec)

N/A 0.283 2.068 0.000 0.000 0.096 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

321 291 201 0 0 272 0 0 0

N.S.

1 0.91 0.63 0.00 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 0.562 6.480 0.000 0.000 0.100 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

251 225 241 0 0 2421 0 0 0

N.S.

1 0.90 0.96 0.00 0.00 9.65 0.00 0.00 0.00

time (sec)

N/A 1.406 2.123 0.000 0.000 0.483 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

169 153 139 0 0 786 0 0 0

N.S.

1 0.91 0.82 0.00 0.00 4.65 0.00 0.00 0.00

time (sec)

N/A 0.441 0.770 0.000 0.000 0.373 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F B F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

144 131 132 0 0 698 0 0 0

N.S.

1 0.91 0.92 0.00 0.00 4.85 0.00 0.00 0.00

time (sec)

N/A 0.329 0.514 0.000 0.000 0.351 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 53 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.30 0.00 1.00 1.17

time (sec)

N/A 0.304 19.102 0.156 0.000 0.257 0.000 0.274 5.697

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 55 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.39 0.00 1.00 1.17

time (sec)

N/A 0.319 23.849 0.156 0.000 0.258 0.000 0.283 5.532

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 58 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.52 0.00 1.00 1.17

time (sec)

N/A 0.293 17.345 0.183 0.000 0.257 0.000 0.299 5.386

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 58 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.52 0.00 1.00 1.17

time (sec)

N/A 0.286 13.460 0.154 0.000 0.252 0.000 0.287 5.266

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

359 291 189 0 0 371 0 0 0

N.S.

1 0.81 0.53 0.00 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.523 0.458 0.000 0.000 0.107 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

278 269 248 0 0 442 0 0 0

N.S.

1 0.97 0.89 0.00 0.00 1.59 0.00 0.00 0.00

time (sec)

N/A 0.416 5.869 0.000 0.000 0.114 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

596 550 396 0 0 0 0 0 0

N.S.

1 0.92 0.66 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.178 1.623 0.000 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

379 350 288 0 0 0 0 0 0

N.S.

1 0.92 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.702 0.679 0.000 0.000 0.000 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

220 209 167 0 0 0 0 0 0

N.S.

1 0.95 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.415 0.465 0.000 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 25 20 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.87 1.09 1.26

time (sec)

N/A 0.251 3.187 0.165 0.309 0.256 41.891 0.261 4.772

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 36 0 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.57 0.00 1.09 1.26

time (sec)

N/A 0.256 6.777 0.167 0.303 0.252 0.000 0.271 4.913

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 42 0 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.68 0.00 1.00 1.16

time (sec)

N/A 0.288 1.531 0.160 0.317 0.260 0.000 0.304 5.038

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.284 0.196 0.172 0.314 0.264 53.733 0.296 5.506

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.284 1.548 0.159 0.347 0.260 23.026 0.276 5.542

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 45 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.80 0.96 1.00 1.16

time (sec)

N/A 0.292 1.863 0.156 0.328 0.263 146.974 0.282 5.119

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

395 231 214 0 0 382 0 0 0

N.S.

1 0.58 0.54 0.00 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 1.431 0.461 0.000 0.000 0.279 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F(-2) F(-1)

verified

N/A No Yes N/A TBD TBD TBD TBD TBD

size

264 156 180 0 0 324 0 0 0

N.S.

1 0.59 0.68 0.00 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 1.140 0.522 0.000 0.000 0.268 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 101 141 0 0 265 0 0 0

N.S.

1 0.78 1.08 0.00 0.00 2.04 0.00 0.00 0.00

time (sec)

N/A 0.408 0.451 0.000 0.000 0.280 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 88 37 34 26 30

N.S.

1 1.00 1.08 0.92 3.38 1.42 1.31 1.00 1.15

time (sec)

N/A 0.281 0.638 0.158 0.594 0.262 7.517 0.283 6.259

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 112 39 36 26 30

N.S.

1 1.00 1.08 0.92 4.31 1.50 1.38 1.00 1.15

time (sec)

N/A 0.287 8.863 0.158 0.628 0.262 85.157 0.289 5.489

[prev] [prev-tail] [front] [up]